Ehrenfreuht-Mostowski models in Abstract Elementary Classes
ثبت نشده
چکیده
Remark 0.1 (Preliminary version.) This is an extremely preliminary version of my paper for the Ann Arbor proceedings. It contains some material (e.g guide to reading 394) which will almost certainly come out. But it does provide I think some insight into Shelah’s use of Ehrenfeucht-Mostowski models which I hadn’t understood. Even more than usual comments on both the general direction and specific mathematical problems are warmly appreciated.
منابع مشابه
Beyond first order logic: From number of structures to structure of numbers: Part II
We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...
متن کاملAround superstability in Metric Abstract Elementary Classes
Metric Abstract Elementary Classes (MAECs) correspond to an amalgam of the notions of Abstract Elementary Classes (AECs) and Elementary Class in the Continuous Logic. In this work, we study a proof of uniqueness (up to isomorphism) of Limit Models in MAECs [ViZa10a, Za1x], under superstability-like assumptions. Assuming this uniqueness of Limit Models, it is possible to do a preliminar study of...
متن کاملLimit Models in Classes with Amalgamation
In abstract elementary classes limit models are sometimes the appropriate substitute for saturated models. For Galois-stable abstract elementary classes which satisfy the amalgamation property, we prove under the assumption that there is a mildly behaved dependence relation, that for any model M , any two limit models over M of the same cardinality are isomorphic. This is useful in dealing with...
متن کاملShelah's categoricity conjecture from a successor for tame abstract elementary classes
We prove a categoricity transfer theorem for tame abstract elementary classes. Theorem 0.1. Suppose that K is a χ-tame abstract elementary class and satisfies the amalgamation and joint embedding properties and has arbitrarily large models. Let λ ≥ Max{χ,LS(K)}. If K is categorical in λ and λ, then K is categorical in λ. Combining this theorem with some results from [Sh 394], we derive a form o...
متن کاملBeyond First Order Logic: from Number of Structures to Structure of Numbers Part Ii
The paper studies the history and recent developments in non-elementary model theory focusing in the framework of abstract elementary classes. We discuss the role of syntax and semantics and the motivation to generalize first order model theory to non-elementary frameworks and illuminate the study with concrete examples of classes of models. This second part continues to study the question of c...
متن کامل